Spock: Logic Doesn't Care About What You Want.